Triangulation in o-minimal fields with standard part map
نویسندگان
چکیده
منابع مشابه
Ja n 20 09 Triangulation in o - minimal fields with standard part map
In answering questions from [7] we prove a triangulation result that is of independent interest. In more detail, let R be an o-minimal field with a proper convex subring V , and let st : V → k be the corresponding standard part map. Under a mild assumption on (R, V) we show that definable sets X ⊆ V n admit a triangulation that induces a triangulation of its standard part st(X) ⊆ k n .
متن کاملO-minimal residue fields of o-minimal fields
Let R be an o-minimal field with a proper convex subring V . We axiomatize the class of all structures (R, V ) such that kind, the corresponding residue field with structure induced from R via the residue map, is o-minimal. More precisely, in [8] it was shown that certain first order conditions on (R, V ) are sufficient for the o-minimality of kind. Here we prove that these conditions are also ...
متن کاملStrongly minimal expansions of (C,+) definable in o-minimal fields
We characterize those functions f : C → C definable in o-minimal expansions of the reals for which the structure (C,+, f) is strongly minimal: such functions must be complex constructible, possibly after conjugating by a real matrix. In particular we prove a special case of the Zilber Dichotomy: an algebraically closed field is definable in certain strongly minimal structures which are definabl...
متن کاملNon-standard lattices and o-minimal groups
We describe a recent program from the study of definable groups in certain o-minimal structures. A central notion of this program is that of a (geometric) lattice. We propose a definition of a lattice in an arbitrary first-order structure. We then use it to describe, uniformly, various structure theorems for o-minimal groups, each time recovering a lattice that captures some significant invaria...
متن کاملModel Completeness of O-Minimal Fields with Convex Valuations
We let R be an o-minimal expansion of a field, V a convex subring, and (R0, V0) an elementary substructure of (R, V ). We let L be the language consisting of a language for R, in which R has elimination of quantifiers, and a predicate for V , and we let LR0 be the language L expanded by constants for all elements of R0. Our main result is that (R, V ) considered as an LR0-structure is model com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2010
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm209-2-3